Grant number : FA 9550 - 15 - 1 - 0105

AFOSR Grant FA 9550 - 04 - 1 - 0151 Final Performance Report Period Covered

Specification , Design and Verification of Distributed Embedded Systems Afosr Grant Fa 9550 - 06 - 1 - 0303

We are investigating the specification, design and verification of distributed systems that combine communications, computation and control in dynamic, uncertain and adversarial environments. Our goal is to develop methods and tools for designing control policies, specifying the properties of the resulting distributed embedded system and the physical environment, and proving that the specificat...

# FA 9550 - 11 - 1 - 0216 and Combines

Final report on AFOSR FA 9550 - 07 - 1 - 0426 - entitled Novel Mathematical and Computational Techniques for Robust Uncertainty Quantification

A Grid - Free Particle Method for Electrostatic Plasma FA 9550 - 06 - 1 - 0529 Simulations

REPORT DOCUMENTATION PAGE OMB No. 0704-0188 Pitlc mp for bu U fto,1 collection of bo~laorm i a esebnubd to avengs I hour per reaper.., W*l thme Wr fo ve.I muutacson, gewegBatn e o aco.gtwrV ed rnwintarir w dthe tudd ai ww*lg ad VA~vieg is coleclon of Wwfmnation. Serd owmments "oft dftI~ burdlen sesmimate or any othe aspect of lisa oetno = *2InUokrc r k n w est for redcirvi ft4 burden to Ds w €m...